GCC_FLAGS = -O0  # with -O2 compilation takes really long
CIRCUIT_UTILS_FLAGS += --input-constraints input_constraints.c
include ../make_tester.inc
